421. Knowledge-based software engineering :
پدیدآورنده : edited by Maria Virvou and Taichi Nakamura.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses.,Software engineering, Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Software engineering.
رده :
QA76
.
76
.
E95
J65
2008eb
422. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K66
2000
423. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000
پدیدآورنده : edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
J65
2000
424. Knowledge-based software engineering: proceedings of the Third Joint Conference on knowledge-based software engineering in Smolentice, Slovakia, 1998
پدیدآورنده : edited by Pavol Navrat and Haruki Ueno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K65
1998
425. Knowledge engineering and computer modelling in CAD :
پدیدآورنده : edited by Alison Smith
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Architecture-- Data processing-- Congresses,Computer-aided design-- Congresses,Engineering design-- Data processing-- Congresses
رده :
TA174
.
I475
1986
426. Knowledge engineering and management proceedings of the seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 )ISKE 2012(
پدیدآورنده : Fuchun Sun, Tianrui Li, Hongbo Li, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Artificial intelligence - Engineering applications,Congresses ، Intelligent agents )Computer software(,Congresses ، Systems engineering
رده :
Q334
427. Knowledge intensive CAD : Proceedings of the IFIP TC5 WG5.2 International Conference on Knowledge Intensive CAD, 16-18 September 1996, Pittsburgh, PA, USA
پدیدآورنده : edited by Martti Mantyla, Susan Finger and Tetsuo Tomiyama
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer-aided design - Congresses , Engineering design - Data processing - Congresses
رده :
TA
345
.
5
.
D47
I34
1996
428. Knowledge international CAD: Proceedings of the IFIP TC5 WG5.2 International Conference on Knowledge Intensive CAD, 16-18 September, 1996, Pittsburgh, PA, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer-aided design-- Congresses,، Engineering design-- Data processing-- Congresses,، Artificial intelligence-- Congresses
رده :
TA
174
.
I13173
1996
429. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها ,معماری نرمافزار -- کنگره‌ها
رده :
E-Book
,
430. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده : \ Franco Fummi, Robert Wille, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
رده :
E-Book
,
431. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
پدیدآورنده : David O'Hallaron )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Software engineering,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1511
432. Languages, design methods, and tools for electronic system design.
پدیدآورنده : \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
433. Large-scale scienctific computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001 : revised papers
پدیدآورنده : Svetozar Margenov, Jerzy Wasniewski, Plamen Yalamov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer systems,Congresses ، Computer algorithms,Congresses ، Engineering mathematics,Congresses ، High performance computing,Congresses ، Environmental sciences
رده :
QA
76
.
L28
Vol
.
2179
434. Learning software organizations : methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings
پدیدآورنده : Gunther Ruhe, Frank Bomarius )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1756
435. Love and sex with robots : third International Conference, LSR 2017, London, UK, December 19-20, 2017
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (تهران)
موضوع : Artificial intelligence ***** Software engineering ***** Computer science ***** Human-robot interaction > Congresses ***** Computer Communication Networks *****
رده :
TJ
210
.
3
86L
436. MELECON '94, 7th Mediterranean Electrotechnical Conference : proceedings, April 12-14. 1994, Abtalya, Turkey
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Telecommunication systems,Congresses ، Electric engineering,Congresses ، Computer networks,Congresses ، Signal processing,Congresses ، Electronic measurements
رده :
TK
5101
.
A1
M38
1994
437. Machine vision for inspection and measurement /
پدیدآورنده : edited by Herbert Freeman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer vision, Congresses,Engineering inspection, Congresses,Contrôle technique - Congrès,Vision par ordinateur - Congrès
رده :
TA1632
.
M3363
1989
438. Man-machine interactions 3
پدیدآورنده : Aleksandra Gruca, Tadeusz Czacho۱جrski, Stanis۲اaw Kozielski, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Human-computer interaction,، Engineering,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(
رده :
QA76
.
9
.
H85
439. Manufacturing and engineering technology :
پدیدآورنده : editors, Ai Sheng, Yizhong Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering, Congresses.,Industrial engineering, Congresses.,Materials science, Congresses.,Mechanical engineering, Congresses.
440. Manufacturing science and engineering, 1995: presented at 1995 ASME International Mechanical Engineering Congress and Exposition, November 12-17, 1995, San Francisco, California
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Production engineering,Congresses ، Manufacturing processes,Congresses ، Industrial engineering,Congresses ، Computer integrated manufacturing systems
رده :
TS
176
.
M36243
1995
